3-D acoustic infinite element based on an oblate spheroidal multipole expansion

ABSTRACT

In an improvement over conventional finite element techniques, an oblate spheroidal infinite element is used for the modeling of acoustic fields in exterior, fluid-filled domains surrounding a structure. This oblate infinite element is based on a multipole expansion that describes, to arbitrary accuracy, any scattered and/or radiated field exterior to an oblate spheroid of any eccentricity. The oblate infinite elment is readily incorporated in any structural or acoustical finite element code.

FIELD OF THE INVENTION

This invention relates to the finite element method (FEM) and variations and extensions thereof. The FEM is a numerical method for modeling the behavior of physical systems. It is generally carried out with the help of a digital computer. More particularly, this invention relates to the use of the FEM and related methods for simulating the acoustic behavior of a body surrounded by a fluid medium. Simulations of this kind are useful in order, e.g., to predict the distribution of sound waves scattered or radiated by a structure surrounded by water or air.

BACKGROUND OF THE INVENTION

In the field of computational structural acoustics, the problem of efficiently modeling the acoustic field in large exterior domains has remained a difficult challenge for over a quarter century. Many techniques have evolved. Those historically receiving greatest attention in the literature are: the boundary integral equation method or, as it is often called, the boundary element method (BEM), which is based on the surface Helmholtz integral equation applied to the surface of the structure; and the infinite element method (IEM), which is based on the Helmholtz differential equation (the reduced wave equation), applied to semi-infinite sectors of the domain (which are the infinite elements) that are exterior to an artificial boundary surrounding the structure, with finite elements between the structure and the boundary.

The BEM is the method of choice for most researchers and code developers. Its primary advantage is that it is based on a mathematically rigorous formulation, namely, the Helmholtz integral representation, that (i) satisfies the Sommerfield radiation condition and (ii) represents the exact solution throughout the exterior domain. In addition, its reduction of the dimensionality of the problem by one has long been thought to be a significant computational advantage. However, we have found that this is actually disadvantageous because of the much greater bandwidth of the equations, due to the inherent global connectivity of the method.

By contrast, infinite elements were hitherto never intended to represent the exact solution, or even an approximate solution, within the element itself. Based on ad hoc physical assumptions or asymptotic theories, they were only meant to provide an approximate non-reflecting condition on an artificial boundary surrounding the structure, thereby enabling a sufficiently accurate solution to be obtained in the finite region interior to the boundary. The solution exterior to the boundary is then usually obtained from the exterior Helmholtz integral, using the pressure and velocity data computed on the surface of the structure.

Two types of infinite elements have previously been used for acoustic application: the exponential decay and the "mapped" element.

The exponential decay element approximates the spatial decay of the acoustic pressure amplitude by an exponential, p∝e⁻γr e^(-ikr), where γ is an empirically adjusted positive number and r is any coordinate that extends to infinity. Because this decay function is inconsistent with acoustical theory, the accuracy rapidly deteriorates away from the artificial boundary.

The mapped element is based on the asymptotic form of the field for large r, using the leading terms of the lower order spherical Hankel functions, namely, ##EQU1## Because of the mapping, the element was intended to be usable in any shape and orientation, i.e., not necessarily aligned with spherical coordinate surfaces, thereby permitting the "radial" sides of different elements to emanate from different spherical origins.

However, we have found that for this representation to converge, (i) the elements must lie outside the smallest sphere circumscribing the structure, and (ii) the sides of all elements in a mesh must conform to radial lines emanating from the origin of the single r coordinate in the expansion. Since the fluid region between the circumscribing sphere and the structure must be meshed with finite-size acoustic elements, the total acoustic mesh would become very large and therefore computationally very inefficient for structures of large aspect ratio. Thus, the element is practical only for "chunky" structures, i.e., those that can be closely circumscribed by a sphere. This is a serious limitation for many applications.

An additional problem of the mapped element is that element generation is relatively expensive. Moreover, generation of the matrices for the mapped element requires inversion of an ill-conditioned matrix. This causes quadrature problems at very high frequencies.

In the co-pending U.S. patent application Ser. No. 08/330,160, entitled "A 3-D Acoustic Infinite Element Based On A Prolate Spheroidal Multipole Expansion," assigned to Applicants' assignee, we described a new infinite element based on a multipole expansion in prolate spheroidal coordinates. We have found that the use of this infinite element leads to much improved efficiency in the acoustic modeling of elongate structures. However, the same efficiencies are not generally achieved when a prolate, infinite element is used to model a structure that has a generally flat, disc-like shape.

SUMMARY OF THE INVENTION

Like the prolate, spheroidal, infinite element mentioned above, the oblate spheroidal infinite element described herein breaks with tradition in that it is based on a mathematically rigorous formulation, namely, a new multipole expansion (a power series in l/r, where r, in this case, is an oblate spheroidal radius) that (i) satisfies the Sommerfeld radiation condition and (ii) represents the exact solution throughout the domain exterior to a minimal circumscribing oblate spheroid. When the leading terms of the expansion, a polynomial in l/r multiplied by an oscillatory factor, are incorporated in an infinite element, accuracy may be increased arbitrarily throughout the element by increasing the number of terms in the polynomial, analogous to p-extension in conventional polynomial-based finite elements.

The oblate spheroidal element improves on the mapped element by removing all of the aforementioned practical limitations. It (i) eliminates the 3-D mapping that mixes together the (troublesome) infinite direction with the (well-behaved) finite directions, (ii) generalizes the circumscribing sphere to a circumscribing oblate spheroid in order to accommodate structures that are flat (large aspect ratio, in which two dimensions are much greater the third) as well as chunky (small aspect ratio, i.e., all three dimensions similar), and (iii) takes advantage of separable coordinates to reduce the 3-D integrals to products of much more cheaply computed 2-D and 1-D integrals, which simultaneously eliminates the ill conditioning.

We believed that the inventive technique is probably the most efficient technique now available for large computational structural acoustics problems. In addition, the technique used for this acoustic element can possible be extended to other types of wave propagation such as electromagnetism and elastodynamics. Our new element is readily integrated into any structural finite element code.

Our new infinite element is particularly useful when complemented by the prolate infinite element mentioned above. A practitioner who has both of these infinite elements available in a single library of computational modeling tools will readily be able to model acoustical behavior with high efficiency in a broad range of problem geometries.

Finite element codes, in general, are well known and need not be described her in detail. Numerous books are available on this subject, including D. S. Burnett, Finite Element Analysis, Addison-Wesley, Reading, Mass., 1987 (reprinted 1988), which is hereby incorporated by reference.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1A is a flowchart illustrating the basic steps in the use and operation of a finite element code.

FIG. 1B is a block diagram of exemplary apparatus for practicing the finite element method.

FIG. 2 depicts a flat (disk-like) structure of otherwise arbitrary shape, together with its smallest circumscribing sphere S, having radius r₀.

FIGS. 3a-3d depict the closed coordinate surfaces of four orthogonal coordinate systems. These surfaces are: (a) sphere; (b) prolate spheroid; (c) oblate spheroid; and (d) ellipsoid.

FIG. 4 depicts a set of confocal ellipses and hyperbolas. When rotates about the z-axis, these curves form the oblate spheroidal and one-sheeted hyperboloidal coordinate surfaces, respectively, of the oblate spheroidal coordinate system.

FIG. 5 illustrates the oblate spheroidal coordinates r, θ, and φ, and related geometric parameters. In the figure, the oblate radius r is defined as 1/2(c₁ +c₂).

FIG. 6 depicts a flat (disk-like) structure of otherwise arbitrary shape, and a minimal circumscribing oblate spheroid S, with oblate radius r₀.

FIG. 7 depicts an illustrative oblate spheroidal infinite element.

FIG. 8 depicts a typical mesh using infinite elements according to the invention.

FIG. 9 shows the base of an illustrative infinite element, lying on the infinite element spheroid. The dashed lines in the figure are θ, φ-coordinate lines.

FIG. 10 is a 2D slice through a 3D mesh for a typical structural acoustics problem.

FIG. 11 shows the geometric discontinuity at an interface between adjacent infinite and finite-size elements.

FIG. 12 illustrates a local node numbering convention for the particular case of a quadratic Lagrange quadrilateral (n=9) in the angular directions and a quadrupole (m=3) in the radial direction (n=m×n=27).

OVERVIEW OF THE FINITE ELEMENT METHOD

The finite element method (FEM) is a method, performed with the help of a computer, for predicting the behavior of a physical system by obtaining numerical solutions to mathematical equations that describe the system and its loading conditions. The use of the FEM nay be thought of as comprising three phases: preprocessing, solution, and postprocessing. These phases are now discussed in further detail with reference to FIG. 1A.

In the preprocessing phase, the physical domain of the problem is partitioned into a pattern of subdomains of simple geometry, referred to as "elements". The resulting pattern is referred to as a "mesh". In addition, problem data such as physical properties, loads, and boundary conditions are specified. This procedure is represented as step 10 of the figure.

The solution phase comprises steps 20-50 in the figure. In the first of these four steps, numerical values are computed for the coefficients in the "element matrix equation" associated with each element in the mesh. The element matrix equation, the derivation of which is indicated in box 15 of the figure, is a set of numerically computable mathematical formulas that are derived theoretically and implemented into the computer code that forms the FEM program.

During the use of the FEM program, the code for these formulas is accessed by each element in the mesh, and numerical values are computed for the coefficients in the formulas using the geometric and physical data associated with each element.

We are providing, for the first time, a set of such formulas (i.e., the element matrix equation) that is specific to a oblate spheroidal acoustic infinite element.

The procedure used in the derivation of the element matrix equation, which is described in detail below, embodies the following general ideas. The unknown field variable, for which the finite-element analysis is seeking a solution (such as the acoustic pressure), is represented approximately within each element as a finite sum of known functions, referred to as "shape" functions. These shape functions are usually chosen to be polynomials. There are unknown parameters in this representation, referred to as "degrees of freedom (DOF)", that become the new unknowns which the finite-element analysis will find values for. The DOF are often the values that the unknown field variable takes at specific points in the element, referred to as "nodes". The purpose of this representation is that when values for the DOF are subsequently computed in step 50, a solution will then be known everywhere, continuously, throughout each element. This is possible because at that stage, both the shape functions and the parameters will be known, and these, together, define the complete solution.

The representation of the unknown field variable in terms of shape functions is then inserted into the governing physics equations (which are, typically, differential or integral equations) that express the physical laws to which the physical system is subject. These calculus equations reduce to a system of linear algebraic equations which, when written in matrix form, is the element matrix equation. The expressions for the coefficients in this matrix equation are manipulated using calculus and algebra until they are in a form that can be numerically evaluated by the computer. These numerical coefficients are the output of step 20.

In step 30, the element matrix equations from all the elements are combined together (i.e., they are said to be "assembled") into one large "system matrix equation." The matrices associated with elements that touch each other in the mesh will partially overlap, thereby establishing continuity in the field variable from element to element. Since the overlap is partial, the system matrix grows larger and larger as element equations are assembled, resulting in one very large system matrix.

The system matrix equation is the modified (step 40) to take account of the boundary and loading conditions. The system matrix equation is then solved (step 50), using conventional techniques of numerical analysis. Although there may be thousands, or even hundreds of thousands, of unknown DOF, the solution of this matrix equation is generally a very tractable problem. That is because the matrix elements tend to assume non-zero values only within a relatively narrow band along the matrix diagonal. A well-known measure of the width of this band (and thus, of the time required for solution) is the "rms half-bandwidth" B_(rms).

In the postprocessing phase, the solution to the system matrix equation is displayed in an appropriate, meaningful form (step 60). In this phase, other useful information may be derived from the solution and likewise displayed. Below, we present a detailed description of the derivation of the element matrix equation for the inventive oblate spheroidal acoustic infinite element.

Structural acoustic finite element codes have a wide range of useful applications. By simulating the complete acoustic field in and around a structure and its interaction with the vibrating structure, the design of the structure can be more quickly and efficiently modifies (as compared to the current expensive, repeated prototyping procedures) to improve or optimize the acoustic performance, e.g., to reduce the overall sound pressure level or to alter the directivity pattern. Important applications include reduction of environmental noise from machinery, automobiles, aircraft, etc., and quieting of noisy consumer products, such as power tools, appliances and PC fans. Terminal equipment for telecommunications systems (speakerphones, loudspeakers, public phone booths, cellular phones, etc.) can be better designed for echo control, background noise discrimination, active noise cancellation, and speech enhancement. Products in the entertainment industry can be more optimally designed for high sound fidelity: stereo systems, musical instruments and the audio portion of home multimedia centers. There are also military applications to sonar and submarine quieting and acoustic countermeasures.

Apparatus for Practicing the Finite Element Method

With reference to FIG. 1B, we now describe apparatus useful for practicing the FEM in general and our inventive method in particular.

A mesh generator 100 executes the preprocessing phase 10 of FIG. 1A. It is common practice to use for the mesh generator, a programmed, general-purpose digital computer. Descriptions of the physical system to be modeled may be input to the mesh generator directly from a user terminal 102, or they may be input from a data storage device 105, such as a magnetic disk or a digital memory. The mesh generator will typically call upon a stored library 107 of elements (i.e., of nodal patterns arranged within sectors of triangular and/or quadrilateral cross-section). The mesh and other output data of the mesh generator are stored in memory device 110, which is typically a magnetic disk and also optionally a digital computer memory.

The solution phase (steps 20-50 of FIG. 1A) is also typically carried out in a programmed computer, represented in the figure as element 115. As noted, an intermediate step of the solution phase is the evaluation of the coefficients of the element matrix equations. These coefficients are stored in a digital memory, denoted element 120 in the figure.

It is a general property of the solution phase that as the acoustic frequency increases, the computation time increases exponentially. For this reason, it will often be advantageous to use, for computer element 115, a parallel processor, such as a massively parallel processor or a scalable parallel processor.

Table 1 gives an indication of the capacity needed by element 120. For acoustic modeling, each infinite element requires two matrices: an acoustic stiffness matrix and an acoustic mass matrix. Each has the same memory requirements, which are listed in the table according to the type of infinite element. Each entry is evaluated by multiplying together 16 bytes (for a double precision word) times the square of the number of degrees of freedom.

In step 30 of FIG. 1A, the element matrix coefficients are assembled into a system matrix equation. The memory element for storing the system matrix coefficients is denoted element 125 in FIG. 1B.

The result of the solution phase is a description of the values assumed by an acoustic field variable throughout the mesh. This information is typically subjected to post-processing in a processing element denoted 130 in the figure, and output to a storage device 135 or display device 140.

                  TABLE 1                                                          ______________________________________                                                             Memory Requirements                                        Type of Infinite Acoustic Element                                                                  (Bytes)                                                    ______________________________________                                         quadratic triangle × dipole                                                                   2304                                                      quadratic-serendipity × dipole                                                                4096                                                      quadratic quadrilateral × dipole                                                              5184                                                      quadratic triangle × quadrupole                                                               5184                                                      quadratic triangle × octopole                                                                 9216                                                      quadratic quadrilateral × quadrupole                                                         11664                                                      quartic triangle × dipole                                                                    14400                                                      quadratic quadrilateral × octopole                                                           20736                                                      quartic quadrilateral × dipole                                                               40000                                                      quartic triangle × octopole                                                                  57600                                                      quartic quadrilateral × octopole                                                             160000                                                     ______________________________________                                    

DETAILED DESCRIPTION A. The Classical Expansion Exterior to a Sphere

Consider an arbitrary structure immersed in an infinite homogeneous fluid and vibrating at constant frequency ω (FIG. 2). Let S be a sphere of minimum radius r₀ that just circumscribes the structure, as shown in FIG. 2. It is well known that the scattered and/or radiated pressure p exterior to S can be represented by the following multipole expansion in spherical coordinates r, θ, φ: ##EQU2## where k is acoustic wavenumber, the F_(n) are smooth, differentiable functions, and the series converges in r>r₀.

Since Eq. (1) is valid only outside a circumscribing sphere, then infinite elements based on Eq. (1) should only lie outside a circumscribing sphere. The region between the structure and the sphere must therefore be filled with finite-size acoustic elements. This limits the usefulness of such infinite elements to structures that are "chunky", i.e., that fill up most of the space inside a sphere. Long and/or flat structures would need an excessive number of finite-size elements (or DOF for p-type elements) to fill the space. Therefore a different multipole expansion is needed, one that is appropriate for non-chunky structures. Since multipole expansions are limited to a specific coordinate system (because they provide an explicit functional form for the "radial" coordinate that goes to infinity), the first step is to select an appropriate coordinate system.

B. Coordinate Systems for Different Aspect Ratios

The closed coordinate surfaces relating, respectively, to four orthogonal coordinate systems are shown in FIG. 3. They are all ellipsoids, i.e., quadric surfaces for which the three orthogonal principal cross-sections are ellipses, including circles as a degenerate form. The most general case, involving three different elliptical cross-sections, is case (d). The others are given special names: spheres, prolate spheroids and oblate spheroids. Prolate and oblate spheroids are generated by rotating ellipses about their major and minor axes, respectively.

Oblate spheroidal coordinates can closely circumscribe any structure for which two dimensions are similar and the third comparable or smaller, i.e., structures that vary from "chunky" to "flat." The applications of interest herein involve flat (or chunky) structures, for which the appropriate coordinate system is oblate spheroidal. Therefore, described below is the development of an oblate spheroidal infinite element.

C. A New Expansion Exterior to an Oblate Spheroid 1. Oblate Spheroidal Coordinates

FIG. 4 shows a family of confocal ellipses and hyperbolas, which are orthogonal. When rotated about the minor axis of the ellipses (the z-axis), the curves become quadric surfaces, called, respectively, oblate spheroids and one-sheeted hyperboloids. Combined with planes through the z-axis, these orthogonal surfaces are the coordinate surfaces comprising the oblate spheroidal system.

FIG. 5 defines the parameters relevant to the oblate spheroidal coordinates r, θ, φ: ##EQU3##

Surfaces of constant r are confocal spheroids, constant-θ surfaces are confocal one-sheeted hyperboloids, and constant-φ surfaces are planes containing the z-axis.

The transformation from Cartesian to oblate spheroidal coordinates is as follows: ##EQU4##

It should be noted that standard treatments of spheroidal wave functions often prefer a different choice for the oblate radial coordinate, namely, ##EQU5## See, for example, C. Flammer, "Spheroidal Wave Functions," Stanford University Press, Stanford, Calif., 1957, pages 6-10.

The choice represented by Equation (5) is essential to our invention, because the standard oblate radial coordinate r will lead to a divergent multipole expansion (i.e., an expansion of the form represented by Equation (6), below).

2. An Oblate Spheroidal Multipole Expansion

Consider the same structure as in FIG. 2, but now let S be an oblate spheroid of minimal oblate radius r₀ that just circumscribes the structure (FIG. 6). The scattered and/or radiated pressure p exterior to S can be represented by the following multipole expansion in oblate spheroidal coordinates r, θ, φ: ##EQU6## with properties similar to Eq. (1). The series in Eq. (6) converges absolutely and uniformly in r, θ and φ in any region r≧r₀ +ε>r₀. There is a four term recursion formula that defines the functions G_(n), n≧3, in terms of G₀, G₁ and G₂.

Eq. 6 is a generalization of Eq. (1), including the latter as a special case. Whereas Eq. (6) is appropriate for a wide range of shapes, varying from chunky to arbitrarily flat, Eq. (1) is only appropriate for chunky shapes. Stated geometrically, oblate spheroids have a wide range of shapes but spheres have only one.

The appropriateness of Eq. (6) for flat structures can be seen by considering the difference in radial response along the major and minor axes of the oblate spheroidal coordinates. In the plane of the major axis (z=0) the oblate radial coordinate, r, is the distance from the origin, a: hence, r is the same as the spherical radius. In any other direction r is not the distance from the origin. In particular, along the minor axis (z axis) b is the distance from the origin. Since ##EQU7## then close to the structure, where b/f<<1, dr/db≅b/f. Thus, r is changing more slowly than b. This can be appreciated by reexamining FIG. 4; since spheroids are surfaces of constant r, a l/r^(n) decay is spread over greater radial distances at θ=0 than at θ=π/2. In short, the spatial rate of decay in the radial direction in Eq. (6) is like spherical spreading in the plane of the major axis, but close to the side of a flat structure the decay is slower, as one might expect. In the far field, a, b, and r approach equality, so the decay approaches spherical spreading in all directions.

D. Geometry of a 3-D Variable Multipole Oblate Spheroidal Infinite Acoustic Element

The infinite element is shown in FIG. 7, and a 2-D cross-section of a typical 3-D mesh outside a 3-D body is shown in FIG. 8. One face of the element, the "base", must attach to, and conform to the shape of, an oblate spheroidal surface of oblate radius r₁ surrounding the structure, called the "infinite element spheroid". The base may be a curvilinear quadrilateral (shown here) or triangle; it need not conform to the θ, φ coordinate lines (FIG. 9). This permits one to construct a completely general 2-D mesh on the spheroid, comprising curvilinear quadilaterals and triangles of any shape and orientation. Any type of FE representation may be used over the base, e.g., Lagrange, serendipity or hierarchic polynomials of any degree. (The quadratic Lagrange nodal pattern shown here, and in later figures, is for illustrative purposes.)

The infinite element spheroid uniquely determines a focal radius, f, which in turn defines a system of confocal spheroids and hyperboloids (cf. FIG. 4) that are used in the construction of the rest of the element. The side faces of the element are the loci of confocal hyperbolas emanating from the sides of the base. A multipole of order ##EQU8## requires m layer of nodes that are on confocal spheroids of prolate radii r₁, r₂, . . , r_(m). The nodal pattern is identical on each spheroid. The value m=2 corresponds to a dipole, m=3 to a quadrupole (as shown in FIG. 7), m=4 to an octopole, etc. A "Variable-multipole" element contains a variable number of layers of nodes, permitting the analyst to refine the mesh radially in the infinite region by increasing the multipole order, m, analogous to p-extension for finite-size elements.

Finally, there is an outer spheroidal face, S, at oblate radius r, that recedes to infinity in the theoretical development. Thus, in deriving the element matrix equation, the element begins with a finite size, r₁ ≦r≦r, so that the Sommerfeld radiation condition can be applied to the outer face, and then the limit is taken asr→∞.

Conventional ξ, η coordinates (illustrated in FIG. 9 for a quadrilateral) are defined over the element cross-section, i.e., on spheroids, by the mapping ##EQU9## where n is the number of nodes in the quadrilateral or triangle, θ.sub.ν, φ.sub.ν are the oblate spheroidal angular coordinates of the ν^(th) node, and χ.sub.ν^(a) (ξ, η) are interpolation polynomials. (Alternatively, blending functions could be used if the elements are hierarchic.)

Since the base, intermediate nodal layers, and outer face conform to confocal spheroids and the side faces are the loci of confocal hyperbolas, the element is a right cylinder in r, θ, φ-space (or r, ξ, η-space) and the 3-D integrals separate into well-conditioned 2-D angular integrals and 1-D infinite integrals. An additional benefit is that the above mapping is limited to just the two finite angular dimensions, i.e., the θ, φ coordinates, over spheroidal surfaces. The radial coordinate uses a separate mapping. This avoids the numerical ill-conditioning associated with 3-D mappings that mix together the infinite dimension with the two finite dimensions.

The use of these infinite elements is illustrated in FIG. 10, which shows a typical mesh for a structural acoustic problem. It is a cross-section of a 3-D mesh of the structure and the surrounding infinite fluid region. The structure is axisymmetric, consisting of two thin, parallel plates joined at their edges by a thin, annular shell with a rounded conical cross section. Between the plates are some internal structures. There are two layers of finite-size acoustic elements between the structure and the infinite element spheroid and then a layer of infinite elements, shown with dashed lines, outside the spheroid. The dashed lines are all hyperbolas. The first layer of finite-size elements is generated by projecting all the nodes on the shell's outer surface the same distance outward along normals to the shell, creating a surface parallel to the shell. The second layer projects the nodes on the parallel surface outward, along normals, to the spheroid. This is a simple procedure for automatic mesh generation for convex surfaces; concave surfaces would require a more sophisticated 3-D mesh generator.

There may or may not be a discontinuity (in ξ, η coordinates and therefore in the dependent variable, pressure) between the infinite elements and adjacent finite-size elements along the infinite element spheroid (FIG. 11), depending on how the geometry for the finite-size elements is generated. If these finite-size elements use a conventional polynomial mapping based on the global Cartesian coordinates of the nodes, then the elements will not conform exactly to the shape of the spheroid. However, the mapping in Eq. (7) for the infinite element defines a set of ξ, η coordinates that lie exactly on the spheroid. Thus there is a "sliver" of space, comprising gaps and overlaps, between the finite and infinite elements, and the ξ, η coordinates in the two elements do not exactly coincide on their interface. This is not a problem because the error due to this geometric discontinuity converges to zero, as the mesh is h or p-refined, at the same rate as does the (well-known) error at the boundary of a curved domain when using conventional polynomial-mapped elements. Indeed, simple numerical calculations show that the maximum spatial separation between identical ξ, η values on the faces of adjacent finite and infinite elements is typically several orders of magnitude less than internodal distances. (Using blending functions for the geometry of the finite-size elements would, of course, eliminate the discontinuity.)

E. Governing Physics Equations

Time-harmonic (e^(i)ωt) behavior is governed by the 3-D Helmholtz equation,

    ∇.sup.2 p+k.sup.2 p=0

where k is the wavenumber (=ω/c), c is sound speed (=√B/ρ), B is bulk modulus, ρ is density, and p is the complex-valued amplitude of scattered and/or radiated pressure: ##EQU10##

To ensure uniqueness of the solution, the pressure must satisfy the Sommerfeld radiation condition at the outer "boundary" at infinity: ##EQU11## where the lower case o, read "little o", means "faster than". The r in Eq. (10) is a spherical r. However, oblate spheroidal coordinates approach spherical coordinates as r→∞, so Eq. (10) can be used with oblate spheroidal coordinates in the limit as r→∞.

When Eq. (10) is applied to the outer face of the element S, at oblate radius r, as it recedes to infinity, Eq. (10) can be satisfied by the proper choice of shape functions.

F. Finite Element Representation of Pressure 1. General Expression; DOF Numbering

The scattered and/or radiated pressure is represented as follows, ##EQU12## where

    ψ.sub.j (ξ, η, r)=ψ.sub.ν.sup.a (ξ, η)ψ.sub.μ.sup.r (r) ν=1,2, . . . , n; μ=1,2, . . . , m n×m=N                                               (12)

Here ψ.sub.ν^(a) (ξ, η) are "angular" shape functions that interpolate p over spheroidal surfaces confocal to the infinite element surface, and ψ.sub.μ^(r) (r) are "radial" shape functions that interpolate p along hyperbolic rays. Interelement C⁰ -continuity is established by enforcing the interpolation property:

    ψ.sub.ν.sup.a (ξ.sub.ν', η.sub.ν')=δ.sub.νν'(13)

    ψ.sub.μ.sup.r (r.sub.μ ')=δ.sub.μμ'  (14)

The currently preferred local node numbering convention is to begin with the nodes on the base of the element and then proceed radially outward, a layer of nodes at a time. This is summarized in Table I and illustrated in FIG. 12.

2. Angular Shape Functions

The functions ψ.sub.ν^(a) (ξ, η) are conventional 2-D polynomials (serendipity, Lagrange or hierarchic).

For example, for the quadratic Lagrange quadrilateral elements depicted in FIGS. 7, 9 and 12, the angular shape functions are

    ψ.sub.ν.sup.a (ξ, η)=τ.sub.α (ξ)τ.sub.α' (η) ν=1,2, . . . , 9 (α=1,2,3; α'=1,2,3)                                           (15)

where ##EQU13##

If the functions ψ.sub.ν^(a) (ξ, η) are also used for the mapping functions χ.sub.ν^(a) (ξ, η) in Eq. (7), then the element is "isoparametric" in the angular directions.

3. Radial Shape Functions

The functions ψ.sub.μ^(r) (r) use a truncated form of the radial part of the multipole expansion in Eq. (6), namely, an mth order multipole expansion: ##EQU14## The phase factor e^(ikr).sbsp.μ does not need to be included; if omitted, it will simply appear in each h.sub.μμ' in Eq. (20) below. The factors k.sup.μ' in the denominators are also not necessary; they are included only to make the h.sub.μμ' nondimensional.

The coefficients h.sub.μμ' are determined by the requirements of interelement C⁰ -continuity. Applying Eq. (14) to Eq. (16) yields m sets of m linear algebraic equations:

    [H][S]=[I]                                                 (17)

    where

    H.sub.μμ' =h.sub.μμ',                          (18)

    S.sub.μμ' =(kr.sub.μ').sup.-μ,                 (19)

and [I] is the identity matrix. Therefore,

    [H]=[S].sup.-1                                             (20)

This procedure defines m layers of nodes (with n nodes on each layer) lying on spheroids of oblate radii r₁, r₂, . . . , r_(m) (cf. FIG. 12).

To illustrate, consider a dipole element (m=2), ##EQU15## Inverting a 2×2 [S] matrix yields ##EQU16##

The procedure in Eqs. (16)-(20) is the one that has been used to date. However, a hierarchic formulation would have the usual advantages of ease of mesh refinement (by p-extension), improved numerical conditioning and elimination of all nodes exterior to the infinite element spheroid. The last advantage is especially important because it would eliminate the need to locate nodes on hyperbolic trajectories, which is not a standard technique in FE mesh generators. To convert to a hierarchic formulation, the angular directions would employ the standard 2-D hierarchic shape functions for quadrilaterals and triangles. The radial direction would use the mapping ζ=1-2r₁ /r, which linearly maps the interval 1/r ε [1/r₁,0) to the interval ζε[-1,1), and then employ the standard 1-D hierarchic shape functions in ζ, excluding the linear function that is unity at infinity, i.e., at ζ=1.

4. Stiffness, Mass, and Radiation Damping Matrices, and the Element Matrix Equation

Further mathematical details of the derivation of these expressions may be found in the Appendix attached hereinbelow as well as in the article by D. S. Burnett, "A 3-D Acoustic Infinite Element Based on a Prolate Spheroidal Multipole Expansion, " J. Acoust. Soc. Am. 96 (4), October, 1994, which is hereby incorporated by reference.

1. Formal Expressions

The matrices for the element matrix equation are derived by starting with a finite-size element, i.e., with the outer face on a spheroid of oblate radius r (cf. FIG. 7), and then taking the limit as r→∞. Thus, applying the Galerkin-weighted residual method to Eq. (8) over a single element yields ##EQU17## using k² =ω² ρ/B and the test functions ψ_(i). Although it is useful to use, for test functions, the basis functions ψ_(j) used in Equation (7) and represented in Equation (23), this is not a unique choice. That is, other test functions may in at least some cases be used to achieve secondary benefits. One example is to use ψ_(i) *, i.e., the complex conjugates of the ψ_(i). This choice would reduce the computation time of the R_(i) integrals in Equation (112), below, by a small amount.

The first integral is converted into a surface integral and another volume integral using the identity ψ_(i) ∇² p=∇·(ψ₁ ∇p)-∇ψ_(i) ·∇p and the divergence theorem. Substituting Eq. (11) into the volume integrals yields the following element matrix equation:

    ([K]-ω.sup.2 [M]{P}={F},                             (24)

where the stiffness matrix [K], mass matrix [M], and pressure gradient vector {F} are, respectively, ##EQU18##

The surface integral for {F} is over the entire boundary of the element, S.sup.(e). It is split into two integrals: one over the outer face S.sup.(e) and the other over the remaining faces S.sup.(e) -S.sup.(e), ##EQU19##

Consider the first integral in Eq. (26). As r→∞, oblate spheroidal coordinates approach spherical coordinates so ∂p/∂n→∂p/∂r and dS→r² sin θdθdφ, where r, θ, φ are spherical coordinates. To evaluate ∂p/∂r as r=∞, substitute Eqs. (11), (12), and (16) into Eq. (10), which yields a stronger form of the Sommerfeld condition, ##EQU20## where the upper-case O, read "big oh," means "at least as fast as." Substitute ∂p/∂r in Eq. (27) for ∂p/∂n in the first integral. The O(l/r²) term makes no contribution to the integral because ψ_(i) is O(l/r) and dS∞r² as r→∞. In the remaining term ikp, substitute Eq. (11) for p.

In the second integral in Eq. (26), substitute the balance of linear momentum for ∂p/∂n, viz., ∂p/∂n=ω²

ρu_(n), where u_(n) is the amplitude of the normal component of particle displacement.

Making these substitutions, Eq. (26) becomes

    {F}=-iω[C]{P}+{D},                                   (28)

where ##EQU21##

The [C] matrix is the radiation damping matrix, representing radiation loss to infinity. The {D} vector permits specification of u_(n) on the side or bottom faces of the element.

Substituting Eq. (28) into Eq. (24) yields, for the element matrix equation,

    ([K]+iω[C]-ω.sup.2 [M]{P}={D},                 (30)

where, summarizing, the formal expressions for the stiffness, mass, and radiation damping matrices are, respectively, ##EQU22## The D_(i) are zero in virtually all practical applications.

2. Transformation of Integrals; Final Expressions

The remaining mathematics transform the integrals in Eq. (31) to expressions that can be numerically evaluated. (The D_(i) integrals are ignored because they are zero in virtually all practical applications.) Mathematical details may be found in the Appendix; following is a brief description of the principal steps.

Transform the integrals in Eq. (31) to oblate spheroidal coordinates r, θ, φ.

The differential volume and surface elements are dV=J.sub.ν drdθdφ and dS=J_(s) dθdφ, where J.sub.ν is the volume Jacobian and J_(s) is the surface Jacobian. J.sub.ν and J_(s), as well as the gradient operator, ∇, in K_(ij) in Eq. (31), are expressed in oblate spheroidal coordinates. This separates the 3-D integrals for K_(ij) and M_(ij) into products of 2-D "angular" integrals over θ, φ and 1-D "radial" integrals over r, and the 2-D integral for C_(ij) into the product of a 2-D angular integral and a function of r.

Develop final expressions for the angular integrals.

Transform the θ, φ coordinates to local ξ, η coordinates using the coordinate mapping in Eq. (7) [cf. FIG. 9]. The resulting well-defined integrals can be numerically integrated using Gauss rules in the conventional FE manner.

Develop final expressions for the radial integrals for K_(ij) and M_(ij) and radial function for C_(ij).

Substitute Eq. (16) into each of the radial integrals and radial function and perform various algebraic operations. Some of the integrals become well-defined Fourier sine or cosine transforms, which can be evaluated by standard algorithms available in many mathematics software packages. The other integrals, as well as the radial function, result in undefined oscillatory terms, which are treated in the next step.

Form final expression for element matrix equation.

All the above expressions, including both the well-defined integrals and the undefined oscillatory terms, are substituted into Eq. (30), the element matrix equation. The parenthetical expression for the three matrices becomes,

    [K]+iω[C]-ω.sup.2 [M]=[K.sup.∞ ]-ω.sup.2 [M.sup.∞ ]+undefined oscillatory terms              (32)

where [K.sup.∞ ] and [M.sup.∞ ] comprise all the well-defined integrals. The undefined oscillatory terms all cancel, leaving as the final form of the element matrix equation,

    [[K.sup.∞ ]-ω.sup.2 [M.sup.∞ ]] {P}={D}  (33)

where the expressions for K.sup.∞_(ij) and M.sup.∞_(ij) are as follows (D_(i) are zero in virtually all practical applications):

    K.sup.∞.sub.ij =B[A.sup.(1).sub.ν'ν R.sup.(1).sub.μ'μ +A.sup.(2).sub.ν'ν R.sup.(2).sub.μ'μ -ε.sup.2.sub.1 A.sup.(3).sub.ν'ν R.sup.(3).sub.μ'μ ] M.sup.∞.sub.ij =ρr.sup.2.sub.1 [A.sup.(1).sub.ν'ν R.sup.(4).sub.μ'μ -ε.sup.2.sub.1 A.sup.(4).sub.ν'ν R.sup.(2).sub.μ'μ ](34)

where B is bulk modulus, ρ is density, r₁ is the oblate radius of the infinite element spheroid, and ε₁ (=f/r₁) is the eccentricity of the infinite element spheroid.

The angular integrals, A.sup.(i).sub.ν'ν, i=1, . . . , 4, ν', ν=1, . . . , n (cf. Table I), are ##EQU23## where ##EQU24##

All four integrals in Eq. (35) can be numerically integrated using standard Gauss rules since the integrands are smooth and bounded (including the ##EQU25## term because J∞θ as θ→0).

The Jacobian, J, is computed from the coordinate mapping in Eq. (7), ##EQU26## and the derivatives of ψ.sub.ν^(a) are evaluated in the conventional finite-element manner, ##EQU27##

The angle θ, for the functions sin θ and cos θ, is also computed from Eq. (7).

The radial integrals, R.sup.(i).sub.μ'μ, i=1, . . . , 4, μ', μ=1, . . . , m (cf. Table I), are ##EQU28## which are Fourier sine and cosine transforms that can be evaluated by standard algorithms available in many mathematics software packages, ##EQU29## which can all be evaluated with the same software used for I.sub.β. Relationships between these integrals are

    I.sub.β =J.sub.β -(kf).sup.2 J.sub.β+2 β≧1 (46)

    and

    H=G+(kf).sup.2 J.sub.2.                                    (47)

    Also,

    a.sub.μa =-ih.sub.μα -(α-1)h.sub.μ,α -1 μ=1,2, . . . , m α=1,2, . . . , m+1              (48)

and h.sub.μ0 =h.sub.μ,m+1 =0. ##EQU30## and, from Eq. (48), a.sub.μα =0 for α>m+1. ##EQU31## and h.sub.μα are determined by Eq. (20).

The tensor products A.sub.ν'ν R.sub.μ'μ in Eq. (34) are N×N matrices that are constructed by multiplying each term in the m×m [R] matrix by the entire n×n [A] matrix, as shown in Eq. (51). Above and to the left of the matrix are tables, reproduced from Table II, showing the relationship of the indices μ and ν to j, and μ' and ν' to i: ##STR1##

Eq. (33), which is the element matrix equation, and its supporting Eqs. (34)-(51) are the equations cited in box 20 of FIG. 1A. These equations are sufficient to implement this invention. They may be coded into any scientific programming language; FORTRAN is currently the most popular choice.

Some practical observations in implementing the above equations into software are as follows. The radial integrals in Eq. (39) are identical for every infinite element in a mesh (because they are independent of angular variables and are along identical oblate radial paths, i.e., confocal hyperbolas emanating from the same oblate spheroid), so they only need to be evaluated once for a given problem; their computational cost is totally insignificant. Hence, the numerical integration required to generate [K.sup.∞ ] and [M.sup.∞ ] for each infinite element involves only the evaluation of the 2-D angular integrals, making these 3-D elements as cheap to generate as 2-D elements. In addition, since the frequency dependence of the element is contained only in the radial integrals, element generation during a frequency sweep is essentially free after the first frequency.

It should be noted that in order to practice the IEM, it is necessary to generate a 3-D mesh in the fluid surrounding the structure. This is a relatively simple matter for structures with convex outer surfaces. Only two or three commands would typically be required to generate the entire fluid mesh for a structure having such a surface. The user would simply project outward the 2-D mesh that is on the fluid-contacting surface of the structure. For more general structural geometries, 3-D meshes can be generated by a wide variety of commercially available mesh generation programs.

                  TABLE II                                                         ______________________________________                                         Node Numbering Pattern Relating Nodal (DOF) Index j                            To Radial Index μ And Angular Index ν, N = m × n                                  j         μ  ν                                            ______________________________________                                         on spheroidal surface at r.sub.1                                                                1           1     1                                           (base of infinite element)                                                                      2           1     2                                                            .           .     .                                                            .           .     .                                                            .           .     .                                                            n           1     n                                           on spheroidal surface at r.sub.2                                                                n + l       2     1                                                            n + 2       2     2                                                            .           .     .                                                            .           .     .                                                            .           .     .                                                            2n          2     n                                           .                .           .     .                                           .                .           .     .                                           .                .           .     .                                           on spheroidal surface at r.sub.m                                                                (m - 1)n + 1                                                                               m     1                                                            (m - 1)n + 2                                                                               m     2                                                            .           .     .                                                            .           .     .                                                            .           .     .                                                            N           m     n                                           ______________________________________                                    

APPENDIX 1. Formal Expressions

The element matrices are derived by starting with a finite-size element, i.e., with the outer face on a spheroid of oblate radius r, and then taking the limit as r→∞. Thus, applying the Galerkin weighted residual method to Eq. (8) over a single element yields ##EQU32## using k² =ω² ρ/B. The first integral is converted into a surface integral and another volume integral using the identity ψ_(i) ∇² p=∇·(ψ_(i) ∇p)-∇ψ_(i) ·∇p and the divergence theorem. Substituting Eq. (11) into the volume integrals yields the following element matrix equation:

    ([K]-ω.sup.2 [M]{P}={F},                             (53)

where the stiffness matrix [K], mass matrix [M], and pressure gradient vector {F} are, respectively, ##EQU33##

The surface integral for {F} is over the entire boundary of the element, S.sup.(e). It is split into two integrals: one over the outer face S.sup.(e) and the other over the remaining faces S.sup.(e) -S.sup.(e), ##EQU34##

Consider the first integral in Eq. (55). As r→∞, oblate spheroidal coordinates approach spherical coordinates so ∂p/∂n→∂p/∂r and dS→r² sin θdθdφ, where r, θ, φ are spherical coordinates. To evaluate ∂p/∂r as r→∞, substitute Eqs. (11), (12) and (16) into Eq. (10), which yields a stronger form of the Sommerfeld condition, ##EQU35## where the upper case o, read "big o", means "at least as fast as". Substitute ∂p/∂r in Eq. (56) for ∂p/∂n in the first integral. The O(l/r²) term makes no contribution to the integral because ψ_(i) is O(l/r) and dS∞r² as r=∞. In the remaining term, ikp, substitute Eq. (11) for p.

In the second integral in Eq. (55), substitute the balance of linear momentum for ∂p/∂n, viz., ∂p/∂n=ω² ρu_(n), where u_(n) is the amplitude of the normal component of particle displacement.

Making these substitutions, Eq. (55) becomes

    {F}=-iω[C]{P}+{D}                                    (57)

where ##EQU36##

The [C] matrix is the radiation damping matrix, representing radiation loss to infinity.

The {D} vector permits specification of u_(n) on the side or bottom faces of the element. These faces are either on the boundary of, or interior to, the domain.

Face on boundary of domain: A nonzero value corresponds to a moving boundary with a known normal displacement (or velocity) amplitude. Along the side faces, a nonzero u_(n) must decay fast enough in the radial direction for the integral in Eq. (58) to be finite.

A zero value corresponds to a rigid boundary, i.e., motion permitted parallel to the boundary but not perpendicular to it. Perhaps the most common occurrence of a rigid infinite boundary is when there is a plane of symmetry through the structure and fluid, permitting the analyst to model only the structure and fluid on one side of the plane, i.e., an infinite half-space problem. A plane of symmetry occurs when all passive system properties (geometry, constraints, material properties and, if present, hydrostatic prestresses) are symmetric with respect to a plane. If the excitation is also symmetric, or just the symmetric component of an asymmetric excitation is being considered, then the system response must possess the same symmetry. Therefore, vector quantities must be a mirror reflection across the plane. In the case of particle displacement, this means that the normal component must vanish, in order to preserve material continuity.

Face in interior of domain: Every interior face is common to two adjacent infinite or finite-size acoustic elements. Assembly of the {D} vectors from two adjacent elements yields, on the interface, a sum of two surface integrals with opposite sign because the outward normals are in opposite directions. The pair of integrals therefore represents the difference of u_(n) across the interface. A nonzero difference corresponds to a jump discontinuity in the normal displacement, i.e., a separation of the fluid. A zero difference corresponds to preservation of material continuity, the usual condition in practical applications.

Substituting Eq. (57) into Eq. (53) yields for the element matrix equation:

    ([K]+iω[C]-ω.sup.2 [M]{P}={D}                  (59)

where, summarizing, the stiffness, mass and radiation damping matrices are, respectively, ##EQU37## Below, we transform the integrals in Eq. (60) to expressions that can be numerically evaluated. The vector {D} is zero in almost all practical applications.

2. Transformation of Integrals to Oblate Spheroidal Coordinates

The differential volume and surface elements are dV=J.sub.ν drdθdφ and dS=J_(S) dθdφ, where J_(V) is the volume Jacobian and J_(S) is the surface Jacobian (on spheroids). Since the faces of the infinite element conform to spheroids (θ, φ-surfaces) and hyperbolas (r-lines), the integration limits for the volume integrals can be separated into angular limits and radial limits. Thus, Eq. (60) becomes ##EQU38## where σ.sup.(e) is the "spheroidal cross section" of the element, i.e., any confocal spheroidal surface inside the element and bounded by the side faces. There is only one spheroidal cross section in r, θ, φ-space because the θ, φ coordinates of the boundary of the cross section are independent of r. Hence, S.sup.(e) is equivalent to σ.sup.(e) in the surface integration for C_(ij). The transformation of J_(V), J_(S) and ∇ to prolate spheroidal coordinates is as follows.

Volume Jacobian ##EQU39## where d=xi+yj+zk is the position vector and a_(r),a.sub.θ a.sub.φ are unit vectors, with dimensions of length, in the r, θ, φ directions, respectively. For orthogonal coordinates, a_(r) ·a.sub.θ ×a.sub.φ =1. The scale factors h_(r), h.sub.θ and h.sub.φ are given by ##EQU40## Using Eq. (5) yields ##EQU41## and Eq. (64) becomes ##EQU42## Surface Jacobian

J_(S) is needed in C_(ij) only on the outer face, i.e., on the spheroid at r=r, ##EQU43## and it is needed only in the limit as r→∞ (while f remains constant). Hence, ##EQU44## which is the same as the surface Jacobian in spherical coordinates because oblate spheroidal coordinates→spherical coordinates r→∞.

Gradient ##EQU45## The gradient is needed only in K_(ij), where it occurs as ∇ψ_(i) ·∇ψ_(j) J_(V). Using Eqs. (64), (65) and (68) yields ##EQU46##

Eq. (69), (65) and (67) can now be substituted into Kubij,, M_(ij) and C_(ij), respectively, in Eq. (61). In addition, Eq. (12) i substituted for ψ_(i) and ψ_(j), introducing prime to distinguish the indices ν and μ that are associated with the index i:

    π.sub.i (ξ, η, r)=ψ.sup.a.sub.ν' (ξ, η)π.sup.r.sub.μ' (r) π.sub.i (ξ, η, r)=ψ.sup.a.sub.ν (ξ, η)π.sup.r.sub.μ (r) (70)

Performing these substitution, and noting that the angular shape functions are implicitly function of θ, φ [because of the coordinate mapping in Eq. (7)], all the 3-D integrals separate into products of 2-D "angular" INTEGRALS, A.sup.(i).sub.ν'ν, and 1-D "radial" integrals, R.sup.(i).sub.μ'μ. The 2-D surface integral for C_(ij) separates in a similar manner. The resulting expressions are as follows ##EQU47##

Angular Integrals

Because of the coordinate mapping in Eq. (7), dθdφ=Jdξdη, where the Jacobian is ##EQU48## Hence Eqs. (72) become, ##EQU49## The symbols R.sup.(1).sub.μ'μ and R.sup.(4).sub.μ'μ include an overbar because a term will later be removed from each integral [cf. Eqs. (87) and (101)] and the remaining terms will be labeled R.sup.(1).sub.μ'μ and R.sup.(4).sub.μ'μ, so that all four radial integrals will have uniform symbols (no overbars) in the final expressions [Eq. (112)].

The tensor products A.sub.ν'ν R.sub.μ'μ are N×N matrices that are constructed by multiplying each term in the m×m [R] matrix by the entire n×n [A] matrix, as shown in Eq. (75). Above and to the left of the matrix are tables, reproduced from Table II, showing the relationship of the indices μ and ν to j, and μ' and ν' to i. ##EQU50##

All four integrals can be numerically integrated using Gauss rules since the integrands are smooth and bounded (including the 1/sin θ term because J∞θ as θ→0). The derivatives of ψ^(a) ₆₈ are evaluated in the conventional manner, ##EQU51## Indeed, the entire evaluation of the angular integrals follows conventional finite element analysis procedures.

4. Radial Integrals R.sup.(1).sub.μ'μ

From Eq. (16), ##EQU52## where

    a.sub.μa =-ih.sub.μα -(α-1)h.sub.μ,α -1 μ=1,2, . . . , m α=1,2, . . . , m+1              (81)

and h.sub.μ0 =h.sub.μ,m+1 =0. ##EQU53## and, from Eq. (81), a.sub.μα =0 for α>m+1.

Substituting Eq. (82) into the first of Eqs. (73) yields ##EQU54## A factor k is introduced into the integrals (and cancelled by the l/k in L.sub.μ'μ) to make them dimensionless. The b₂ integral is separated from the others because the upper limit yields an undefined term (which will later be cancelled by similar terms from M_(ij) and C_(ij)). Formally, we shall write ##EQU55## The other integrals are well defined, so the limiting process only requires changing the upper limit from r to ∞. Eq. (84) becomes ##EQU56## The G and I.sub.β integrals can be evaluated by making the change of variable

    x=kr-ζ                                                (92)

Eqs. (90) and (91) become ##EQU57## which are Fourier sine and cosine transforms that can be evaluated by standard algorithms available in many mathematics software packages.

R.sup.(2)_(m'm)

From Eq. (16) ##EQU58## and h.sub.μα =0 for α>m. Substituting Eq. (95) into the second of Eqs. (73) and letting the upper limit be ∞, since all integrals are well defined, yields ##EQU59## The term 1-(f/r)² >0 because r≧r₁ >f. Using Eq. (92) converts J.sub.β to Fourier sine and cosine transforms, ##EQU60## which can be evaluated by the same mathematics software package used to evaluate G and I.sub.β above.

R.sup.(3)_(m'm)

Substituting Eq. (95) into the third of Eqs. (73) and letting the upper limit be ∞, since all integrals are well defined, yields ##EQU61##

R.sup.(4)_(m'm)

Substituting Eq. (95) into the fourth of Eqs. (73) and proceeding in the same manner as for R.sup.(1).sub.μ'μ (viz., separating the c₂ integral from the others because the upper limit produces an undefined oscillatory term) yields ##EQU62## Again using Eq. (92) converts H to Fourier sine and cosine transforms, ##EQU63## which can also be evaluated by the same mathematics software package used to evaluate G, I.sub.β and J.sub.β above.

5. Radial Functions on Outer Face

The radiation damping matrix, C_(ij), in Eq. (71) includes the term ##EQU64##

Using Eq. (95), ##EQU65##

Taking the limit as r→∞ eliminates all the c.sub.β terms except c₂, which contains an undefined oscillatory term: ##EQU66##

6. Vanishing of Undefined Oscillatory Terms

The expressions for all the radial integrals [Eqs. (87), (88), (97), (100), (101) and (102)] and the radial functions on the outer face [Eq. (106)] can now be substituted into the stiffness, mass and damping matrices in Eq. (71). Adding those three matrices together as in the element matrix equation, Eq. (59), yields

    [K]+iω[C]-ω.sup.2 [M]=[K.sup.∞ ]-ω.sup.2 [M.sup.∞ ]+undefined oscillatory terms              (107)

where [K.sup.∞ ] and [M.sup.∞ ] comprise all the well-defined integrals and are summarized in the next section. The "undefined oscillatory terms" comprise all terms containing the expression ##EQU67## There are three such occurrences: Eqs. (87), (101) and (106), which contribute to [K], [C] and [M], respectively. Thus, undefined oscillatory terms= ##EQU68## using ω=ck and c² =B/ρ. From Eqs. (81) and (83), b₂ =a.sub.μ'1 a.sub.μ1 =-h.sub.μ'1 h.sub.μ1, and from Eq. (96), c₂ =h.sub.μ'1 h.sub.μ1 =-b₂. Hence,

    undefined oscillatory terms=0.                             (109)

In words, the stiffness and mass matrices consist of two types of terms: those that are independent of the location of the outer face (the "well-defined" integrals) and those that do depend on its location and therefore oscillate as the face recedes to infinity. The damping matrix, which represent application of the Sommerfeld radiation condition to the outer face, is completely oscillatory. Eq. (109) states that the radiation condition exactly cancels the oscillatory terms in the stiffness and mass matrices.

7. Final Expressions

From Eqs. (107) and (109) it follows that the final form of the element matrix equation for the infinite acoustic element is

    [[K.sup.∞ ]-ω.sup.2 [M.sup.∞ ]]{P}={D}   (110)

    where

    K.sup.∞.sub.ij =B[A.sup.(1).sub.ν'ν R.sup.(1).sub.μ'μ +A.sup.(2).sub.ν'ν R.sup.(2).sub.μ'μ -ε.sup.2.sub.1 A.sup.(3).sub.ν'ν R.sup.(3).sub.μ'μ M.sup.∞.sub.ij =ρr.sup.2.sub.1 [A.sup.(1).sub.ν'ν R.sup.(4).sub.μ'μ -ε.sup.2.sub.1 A.sup.(4).sub.ν'ν R.sup.(2).sub.μ'μ ](111)

The vector {D} is given in Eq. (58); it is zero in almost all practical applications. The angular integrals, A.sup.(i).sub.ν'ν i=1,2,3,4, are given in Eq. (77). The radial integral are ##EQU69## and L.sub.μ'μ, G, I.sub.β, j.sub.β, H, b.sub.β, c.sub.β, and ζ are given by Eqs. (85), (90), (91), (98), (103), (83), (96) and (89), respectively. Eqs. (83) and (96), in turn, need h.sub.μα, which are determined by Eq. (20).

The radial integrals in Eq. (112) are identical for every infinite element in a mesh (because they are independent of angular variables and are along identical oblate radial paths, i.e., hyperbolas emanating from the same spheroid), so they only need to be evaluated once for a given problem; their computational cost is totally insignificant. Hence, the numerical integration required to generate [K.sup.∞ ] and [M.sup.∞ ] for each infinite element involves only the evaluation of the 2-D elements. In addition, since the frequency dependence of the element is contained only in the radial integrals, element generation during a frequency sweep is essentially free after the first frequency. 

The invention claimed is:
 1. A method for operating a digital computer, having at least one digital memory and at least one data processing element, to simulate the acoustic behavior of a body surrounded by a fluid medium, the body having an outer surface, and the body subjected to given driving conditions, comprising:a) subdividing at least the fluid medium into a pattern of elements, said pattern to be referred to as a mesh, and storing said mesh in the memory; b) for each element of the mesh, computing a set of element matrix coefficients, and storing said coefficients in the memory; c) assembling all of the element matrix coefficients into a system matrix, and storing the system matrix in the memory; d) in the data processing element, solving the system matrix equation, thereby to create a description of the values assumed by an acoustic field variable throughout the mesh; and e) recording the description in a data-storage device,wherein the subdividing step comprises: f) constructing an inner boundary of the fluid medium, such that said inner boundary coincides with the outer surface of the body; g) constructing an oblate spheroid, to be referred to as the bounding spheroid, which encloses the inner fluid boundary; and h) filling a space surrounding the bounding spheroid with elements, to be referred to as infinite elements, wherein: (i) each infinite element is bounded by a base, at least three side faces, and an outer face; (ii) each respective base lies on the bounding spheroid; (iii) each respective outer face belongs to an oblate spheroidal surface confocal with the bounding spheroid; (iv) each respective side face is a locus of hyperbolas confocal with the bounding spheroid; and (v) the outer face recedes to an infinite oblate radius.
 2. The method of claim 1, wherein the subdividing step further comprises:constructing at least one intermediate layer of finite elements between the inner fluid boundary and the bounding spheroid.
 3. The method of claim 1, wherein the bounding spheroid coincides with the inner fluid boundary.
 4. The method of claim 1, wherein the subdividing step further comprises:a) constructing a geometrical representation of the body; and b) subdividing the body representation into finite elements.
 5. The method of claim 1, wherein the bounding spheroid is a minimal oblate spheroid about the inner fluid boundary.
 6. The method of claim 1, wherein the step of computing element matrix coefficients is carried out in such a manner as to satisfy the Sommerfield radiation condition.
 7. The method of claim 1, wherein the step of computing element matrix coefficients comprises applying the Helmholtz equation to an approximation of a multipole expansion of an acoustic field variable, wherein said approximation has the property that it converges to the exact solution of said equation as the mesh is refined.
 8. A machine for simulating the acoustic behavior of a body surrounded by a fluid medium, the body having an outer surface, and the body subjected to given driving conditions, comprising:a) means for subdividing at least the fluid medium into a pattern of elements, said pattern to be referred to as a mesh; b) a digital memory element for storing the mesh; c) digital processing means for computing a set of element matrix coefficients for each element of the mesh; d) a digital memory element for storing the element matrix coefficients, assembled from all of the elements, as a system matrix; e) digital processing means for solving the system matrix, thereby to create a description of the values assumed by an acoustic field variable throughout the mesh; and f) means for recording the resulting description of the acoustic field variable,wherein the subdividing means comprise: g) means for constructing an inner boundary of the fluid medium, such that said inner boundary coincides with the outer surface of the body; h) means for constructing an oblate spheroid, to be referred to as the bounding spheroid, which encloses the inner fluid boundary; and i) means for filling a space surrounding the bounding spheroid with elements, to be referred to as infinite elements, wherein: (i) each infinite element is bounded by a base, at least three side faces, and an outer face; (ii) each respective base lies on the bounding spheroid; (iii) each respective outer face belongs to an oblate spheroidal surface confocal with the bounding spheroid; (iv) each respective side face is a locus of hyperbolas confocal with the bounding spheroid; and (v) the outer face recedes to an infinite oblate radius.
 9. The machine of claim 8, wherein the subdividing means further comprise:means for constructing at least one intermediate layer of finite elements between the inner fluid boundary and the bounding spheroid.
 10. The machine of claim 8, wherein the bounding spheroid coincides with the inner fluid boundary.
 11. The machine of claim 8, wherein the subdividing means further comprise:a) means for constructing a geometrical representation of the body; and b) means for subdividing the body representation into finite elements.
 12. The machine of claim 8, wherein the bounding spheroid is a minimal oblate spheroid about the inner fluid boundary.
 13. The machine of claim 8, wherein the means for computing element matrix coefficients are constrained to satisfy the Sommerfeld radiation condition.
 14. The machine of claim 8, wherein the means for computing element matrix coefficients comprise means for applying the Helmholtz equation to an approximation of a multipole expansion for an acoustic field variable, wherein said approximation has the property that it converges to the exact solution of said equation as the mesh is refined. 